Denotational Semantics
美英
- n.指称语义
- 网络指称语义学；尽管一个称作表示语义；指称语意
Denotational SemanticsDenotational Semantics
指称语义
指称语义(denotational semantics) 把语言成分映射为数学对象，然后用定义在对象上的运算所表达出的语言的语义。指称语义 …
指称语义学
指称语义学(Denotational semantics)——通过执行语言成分所要得到的最终效果来定义该语言成分的语义。指称语义学方法认 …
尽管一个称作表示语义
指称语意
2010 暑期研习营 |... ... 逻辑 Logic 指称语意 Denotational Semantics 程式建构与推理 Program Construction and Reasoning ...
指称方法
语义中同时使用了指称方法(Denotational Semantics)和公理化方法(Axiomatic Semantics)。第三篇为“通信协议的部分正确性”。
标志语义
英语语言词典 # 翻译 ... ... 语义学 semantics;semasiology 标志语义 denotational semantics 生成语义 generative semantics ...
1
2
3